Symbolic execution - PDFSEARCH.IO - Document Search Engine

Symbolic execution
Results: 153

#	Item
141	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-03 11:43:14 Electronic design automation Logic in computer science NP-complete problems Abstract interpretation Symbolic execution Satisfiability Modulo Theories Solver Theoretical computer science Applied mathematics Formal methods
142	ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-12-16 11:38:46 Concolic testing Algorithm Ln Mathematics Software testing Abstract interpretation Symbolic execution Computing
143	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2005-06-09 19:14:00 Data types Procedural programming languages C Standard Library Type theory Abstract interpretation Symbolic execution Printf format string C ALGOL 68 Computing Software engineering Computer programming
144	EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2006-03-02 02:20:53 Data types Abstract interpretation Symbolic execution C++ Pointer C Type system Buffer overflow Sizeof Computing Software engineering Computer programming
145	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2008-05-27 14:37:34 Software testing C POSIX library Abstract interpretation Symbolic execution Klee Main function Code coverage Library Constraint programming Software engineering Computing Computer programming
146	CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science Add to Reading List Source URL: srl.cs.berkeley.edu Language: English - Date: 2009-02-05 16:14:24 Automated theorem proving Concolic testing Test Data Generation Theoretical computer science Symbolic execution Pointer Algorithm Function Linear programming Mathematics Computing Software engineering
147	PDF Document Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2006-09-08 17:55:30 Programming language theory Symbolic execution C Type system EXE Pointer Array data type Portable Executable Computing Data types Software engineering
148	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-03-26 13:14:14 Klee Constraint programming Programming language implementation Symbolic execution Code coverage Assembly language E Concolic testing Software engineering Software testing Bauhaus
149	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-03-28 16:58:30 Programming language implementation Compiler construction Fuzz testing Parsing Symbolic execution Concolic testing Lexical analysis Model-based testing Lex Software testing Computing Software engineering
150	PDF Document Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2005-03-01 18:37:16 Software Model checking KeY Java Pathfinder Symbolic execution Exception handling Test automation Mutation testing Java Software testing Computing Software engineering